round[n] ket
round the value in the ket to n places, leaving the coefficient unchanged
If you need more decimal places in your kets, use the --places command line option.
The default is currently set to 5
if the ket is not a number, then return the empty ket |>